ontology philosophy semantic web matematica rdf bielefeld logic lippe filosofia logica nyaaya knowledge management mathematical logic owl logicacmg nrw leibniz metaphysics math logic